home *** CD-ROM | disk | FTP | other *** search
- /* ANSI C code generated by SmallEiffel. */
- /*
- -- SmallEiffel -- Release (- 0.97) -- FRANCE
- -- Copyright (C), 1994 - Dominique COLNET and Suzanne COLLIN
- -- University Henri Poincare' - Nancy 1 - email colnet@loria.fr
- -- CRIN (Centre de Recherche en Informatique de Nancy)
- -- FRANCE
- */
- #include "pretty.h"
- void rT62pretty_print(T62 *C){
- /*IF*/if (((int)(C)->_tag)) {
- rT259put_string((T259*)oRBC27fmt,((T157*)(C)->_tag)->_to_string);
- rT259put_string((T259*)oRBC27fmt,(T0 *)ms488);
- }
- /*FI*//*IF*/if (((int)(C)->_expression)) {
- XrT66pretty_print((C)->_expression);
- /*IF*/if (((T259*)oRBC27fmt)->_semi_colon_flag) {
- rT259put_string((T259*)oRBC27fmt,(T0 *)ms489);
- }
- /*FI*/}
- /*FI*//*IF*/if (((int)(C)->_comment)) {
- rT57pretty_print((T57*)(C)->_comment);
- }
- /*FI*/}
- void rT62copy(T62 *C,T0 * a1){
- /*IF*//*AF*//*AE*/
- memcpy(C,a1,s[C->id]);
- /*FI*/}
- void rT62make(T62 *C,T0 * a1,T0 * a2,T0 * a3){
- C->_tag=a1;
- C->_expression=a2;
- C->_comment=a3;
- }
- void rT138pretty_print(T138 *C){
- int _i=0;
- rT259level_incr((T259*)oRBC27fmt);
- rT259indent((T259*)oRBC27fmt);
- /*IF*/if (((int)(C)->_header_comment)) {
- rT57pretty_print((T57*)(C)->_header_comment);
- }
- /*FI*//*IF*/if (((int)(C)->_list)) {
- _i=1;
- while (!((_i)>(((T215*)(C)->_list)->_upper))) {
- /*(IRF3*/(((T259*)oRBC27fmt)->_semi_colon_flag)=(1);
- /*)*/rT259indent((T259*)oRBC27fmt);
- XrT174pretty_print(rT215item((T215*)(C)->_list,_i));
- _i=(_i)+(1);
- }
- }
- /*FI*/rT259level_decr((T259*)oRBC27fmt);
- }
- void rT138copy(T138 *C,T0 * a1){
- /*IF*//*AF*//*AE*/
- memcpy(C,a1,s[C->id]);
- /*FI*/}
- void rT138make(T138 *C,T0 * a1,T0* a2){
- C->_header_comment=a1;
- C->_list=a2;
- }
- void rT256clear_all(T256 *C){
- T0 * _value=NULL;
- rT256set_all_with(C,_value);
- }
- int rT256count(T256 *C){
- int R=0;
- R=(((C)->_upper)-((C)->_lower))+(1);
- return R;
- }
- void rT256set_all_with(T256 *C,T0 * a1){
- int _i=0;
- _i=(C)->_upper;
- while (!((_i)<((C)->_lower))) {
- rT256put(C,a1,_i);
- _i=(_i)-(1);
- }
- }
- void rT256resize(T256 *C,int a1,int a2){
- int _up=0;
- int _i=0;
- T0* _other=NULL;
- {T256 *n=((T256*)new(256));
- rT256make(n,a1,a2);
- _other=(T0 *)n;}
- _i=rT2max((C)->_lower,((T256*)_other)->_lower);
- _up=rT2min((C)->_upper,((T256*)_other)->_upper);
- while (!((_i)>(_up))) {
- rT256put((T256*)_other,rT256item(C,_i),_i);
- _i=(_i)+(1);
- }
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/memcpy(C,_other,sizeof(*C));free(_other);
- }
- T0 * rT256item(T256 *C,int a1){
- T0 * R=NULL;
- R=(C->_storage)[a1-(C->_lower)];
- return R;
- }
- void rT256add_last(T256 *C,T0 * a1){
- /*IF*/if (((C)->_capacity)<((rT256count(C))+(1))) {
- C->_capacity=((C)->_capacity)+(16);
- /*IF*/if (((C)->_capacity)==(16)) {
- C->_storage=malloc(16*sizeof(*(C->_storage)));
- }
- else {
- C->_storage=realloc(C->_storage,((C->_capacity)*sizeof(*(C->_storage))));
- }
- /*FI*/}
- /*FI*/C->_upper=((C)->_upper)+(1);
- rT256put(C,a1,(C)->_upper);
- }
- void rT256put(T256 *C,T0 * a1,int a2){
- (C->_storage)[a2-(C->_lower)]=a1;
- }
- void rT256copy(T256 *C,T0* a1){
- int _i=0;
- C->_upper=((C)->_lower)-(1);
- /*IF*/if (((C)->_capacity)==(0)) {
- rT256make(C,((T256*)a1)->_lower,((T256*)a1)->_upper);
- }
- else {
- rT256resize(C,((T256*)a1)->_lower,((T256*)a1)->_upper);
- }
- /*FI*/_i=(C)->_lower;
- while (!((_i)>((C)->_upper))) {
- rT256put(C,rT256item((T256*)a1,_i),_i);
- _i=(_i)+(1);
- }
- }
- void rT256make(T256 *C,int a1,int a2){
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/C->_lower=a1;
- C->_upper=a2;
- C->_capacity=(((C)->_upper)-((C)->_lower))+(1);
- C->_storage=NULL;
- /*IF*/if (((C)->_capacity)>(0)) {
- C->_capacity=((C)->_capacity)+(16);
- C->_storage=malloc((size_t)((C->_capacity)*sizeof(*(C->_storage))));
- rT256clear_all(C);
- }
- /*FI*/}
- void rT232clear_all(T232 *C){
- T0 * _value=NULL;
- rT232set_all_with(C,_value);
- }
- int rT232count(T232 *C){
- int R=0;
- R=(((C)->_upper)-((C)->_lower))+(1);
- return R;
- }
- void rT232set_all_with(T232 *C,T0 * a1){
- int _i=0;
- _i=(C)->_upper;
- while (!((_i)<((C)->_lower))) {
- rT232put(C,a1,_i);
- _i=(_i)-(1);
- }
- }
- void rT232resize(T232 *C,int a1,int a2){
- int _up=0;
- int _i=0;
- T0* _other=NULL;
- {T232 *n=((T232*)new(232));
- rT232make(n,a1,a2);
- _other=(T0 *)n;}
- _i=rT2max((C)->_lower,((T232*)_other)->_lower);
- _up=rT2min((C)->_upper,((T232*)_other)->_upper);
- while (!((_i)>(_up))) {
- rT232put((T232*)_other,rT232item(C,_i),_i);
- _i=(_i)+(1);
- }
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/memcpy(C,_other,sizeof(*C));free(_other);
- }
- T0 * rT232item(T232 *C,int a1){
- T0 * R=NULL;
- R=(C->_storage)[a1-(C->_lower)];
- return R;
- }
- void rT232add_last(T232 *C,T0 * a1){
- /*IF*/if (((C)->_capacity)<((rT232count(C))+(1))) {
- C->_capacity=((C)->_capacity)+(16);
- /*IF*/if (((C)->_capacity)==(16)) {
- C->_storage=malloc(16*sizeof(*(C->_storage)));
- }
- else {
- C->_storage=realloc(C->_storage,((C->_capacity)*sizeof(*(C->_storage))));
- }
- /*FI*/}
- /*FI*/C->_upper=((C)->_upper)+(1);
- rT232put(C,a1,(C)->_upper);
- }
- void rT232put(T232 *C,T0 * a1,int a2){
- (C->_storage)[a2-(C->_lower)]=a1;
- }
- void rT232copy(T232 *C,T0* a1){
- int _i=0;
- C->_upper=((C)->_lower)-(1);
- /*IF*/if (((C)->_capacity)==(0)) {
- rT232make(C,((T232*)a1)->_lower,((T232*)a1)->_upper);
- }
- else {
- rT232resize(C,((T232*)a1)->_lower,((T232*)a1)->_upper);
- }
- /*FI*/_i=(C)->_lower;
- while (!((_i)>((C)->_upper))) {
- rT232put(C,rT232item((T232*)a1,_i),_i);
- _i=(_i)+(1);
- }
- }
- void rT232make(T232 *C,int a1,int a2){
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/C->_lower=a1;
- C->_upper=a2;
- C->_capacity=(((C)->_upper)-((C)->_lower))+(1);
- C->_storage=NULL;
- /*IF*/if (((C)->_capacity)>(0)) {
- C->_capacity=((C)->_capacity)+(16);
- C->_storage=malloc((size_t)((C->_capacity)*sizeof(*(C->_storage))));
- rT232clear_all(C);
- }
- /*FI*/}
- void rT230clear_all(T230 *C){
- T0 * _value=NULL;
- rT230set_all_with(C,_value);
- }
- int rT230count(T230 *C){
- int R=0;
- R=(((C)->_upper)-((C)->_lower))+(1);
- return R;
- }
- void rT230set_all_with(T230 *C,T0 * a1){
- int _i=0;
- _i=(C)->_upper;
- while (!((_i)<((C)->_lower))) {
- rT230put(C,a1,_i);
- _i=(_i)-(1);
- }
- }
- void rT230resize(T230 *C,int a1,int a2){
- int _up=0;
- int _i=0;
- T0* _other=NULL;
- {T230 *n=((T230*)new(230));
- rT230make(n,a1,a2);
- _other=(T0 *)n;}
- _i=rT2max((C)->_lower,((T230*)_other)->_lower);
- _up=rT2min((C)->_upper,((T230*)_other)->_upper);
- while (!((_i)>(_up))) {
- rT230put((T230*)_other,rT230item(C,_i),_i);
- _i=(_i)+(1);
- }
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/memcpy(C,_other,sizeof(*C));free(_other);
- }
- T0 * rT230item(T230 *C,int a1){
- T0 * R=NULL;
- R=(C->_storage)[a1-(C->_lower)];
- return R;
- }
- void rT230add_last(T230 *C,T0 * a1){
- /*IF*/if (((C)->_capacity)<((rT230count(C))+(1))) {
- C->_capacity=((C)->_capacity)+(16);
- /*IF*/if (((C)->_capacity)==(16)) {
- C->_storage=malloc(16*sizeof(*(C->_storage)));
- }
- else {
- C->_storage=realloc(C->_storage,((C->_capacity)*sizeof(*(C->_storage))));
- }
- /*FI*/}
- /*FI*/C->_upper=((C)->_upper)+(1);
- rT230put(C,a1,(C)->_upper);
- }
- void rT230put(T230 *C,T0 * a1,int a2){
- (C->_storage)[a2-(C->_lower)]=a1;
- }
- void rT230copy(T230 *C,T0* a1){
- int _i=0;
- C->_upper=((C)->_lower)-(1);
- /*IF*/if (((C)->_capacity)==(0)) {
- rT230make(C,((T230*)a1)->_lower,((T230*)a1)->_upper);
- }
- else {
- rT230resize(C,((T230*)a1)->_lower,((T230*)a1)->_upper);
- }
- /*FI*/_i=(C)->_lower;
- while (!((_i)>((C)->_upper))) {
- rT230put(C,rT230item((T230*)a1,_i),_i);
- _i=(_i)+(1);
- }
- }
- void rT230make(T230 *C,int a1,int a2){
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/C->_lower=a1;
- C->_upper=a2;
- C->_capacity=(((C)->_upper)-((C)->_lower))+(1);
- C->_storage=NULL;
- /*IF*/if (((C)->_capacity)>(0)) {
- C->_capacity=((C)->_capacity)+(16);
- C->_storage=malloc((size_t)((C->_capacity)*sizeof(*(C->_storage))));
- rT230clear_all(C);
- }
- /*FI*/}
- void rT227clear_all(T227 *C){
- T0 * _value=NULL;
- rT227set_all_with(C,_value);
- }
- int rT227count(T227 *C){
- int R=0;
- R=(((C)->_upper)-((C)->_lower))+(1);
- return R;
- }
- void rT227set_all_with(T227 *C,T0 * a1){
- int _i=0;
- _i=(C)->_upper;
- while (!((_i)<((C)->_lower))) {
- rT227put(C,a1,_i);
- _i=(_i)-(1);
- }
- }
- void rT227resize(T227 *C,int a1,int a2){
- int _up=0;
- int _i=0;
- T0* _other=NULL;
- {T227 *n=((T227*)new(227));
- rT227make(n,a1,a2);
- _other=(T0 *)n;}
- _i=rT2max((C)->_lower,((T227*)_other)->_lower);
- _up=rT2min((C)->_upper,((T227*)_other)->_upper);
- while (!((_i)>(_up))) {
- rT227put((T227*)_other,rT227item(C,_i),_i);
- _i=(_i)+(1);
- }
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/memcpy(C,_other,sizeof(*C));free(_other);
- }
- T0 * rT227item(T227 *C,int a1){
- T0 * R=NULL;
- R=(C->_storage)[a1-(C->_lower)];
- return R;
- }
- void rT227add_last(T227 *C,T0 * a1){
- /*IF*/if (((C)->_capacity)<((rT227count(C))+(1))) {
- C->_capacity=((C)->_capacity)+(16);
- /*IF*/if (((C)->_capacity)==(16)) {
- C->_storage=malloc(16*sizeof(*(C->_storage)));
- }
- else {
- C->_storage=realloc(C->_storage,((C->_capacity)*sizeof(*(C->_storage))));
- }
- /*FI*/}
- /*FI*/C->_upper=((C)->_upper)+(1);
- rT227put(C,a1,(C)->_upper);
- }
- void rT227put(T227 *C,T0 * a1,int a2){
- (C->_storage)[a2-(C->_lower)]=a1;
- }
- void rT227copy(T227 *C,T0* a1){
- int _i=0;
- C->_upper=((C)->_lower)-(1);
- /*IF*/if (((C)->_capacity)==(0)) {
- rT227make(C,((T227*)a1)->_lower,((T227*)a1)->_upper);
- }
- else {
- rT227resize(C,((T227*)a1)->_lower,((T227*)a1)->_upper);
- }
- /*FI*/_i=(C)->_lower;
- while (!((_i)>((C)->_upper))) {
- rT227put(C,rT227item((T227*)a1,_i),_i);
- _i=(_i)+(1);
- }
- }
- void rT227make(T227 *C,int a1,int a2){
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/C->_lower=a1;
- C->_upper=a2;
- C->_capacity=(((C)->_upper)-((C)->_lower))+(1);
- C->_storage=NULL;
- /*IF*/if (((C)->_capacity)>(0)) {
- C->_capacity=((C)->_capacity)+(16);
- C->_storage=malloc((size_t)((C->_capacity)*sizeof(*(C->_storage))));
- rT227clear_all(C);
- }
- /*FI*/}
- void rT221clear_all(T221 *C){
- T0 * _value=NULL;
- rT221set_all_with(C,_value);
- }
- int rT221count(T221 *C){
- int R=0;
- R=(((C)->_upper)-((C)->_lower))+(1);
- return R;
- }
- void rT221set_all_with(T221 *C,T0 * a1){
- int _i=0;
- _i=(C)->_upper;
- while (!((_i)<((C)->_lower))) {
- rT221put(C,a1,_i);
- _i=(_i)-(1);
- }
- }
- void rT221resize(T221 *C,int a1,int a2){
- int _up=0;
- int _i=0;
- T0* _other=NULL;
- {T221 *n=((T221*)new(221));
- rT221make(n,a1,a2);
- _other=(T0 *)n;}
- _i=rT2max((C)->_lower,((T221*)_other)->_lower);
- _up=rT2min((C)->_upper,((T221*)_other)->_upper);
- while (!((_i)>(_up))) {
- rT221put((T221*)_other,rT221item(C,_i),_i);
- _i=(_i)+(1);
- }
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/memcpy(C,_other,sizeof(*C));free(_other);
- }
- T0 * rT221item(T221 *C,int a1){
- T0 * R=NULL;
- R=(C->_storage)[a1-(C->_lower)];
- return R;
- }
- void rT221add_last(T221 *C,T0 * a1){
- /*IF*/if (((C)->_capacity)<((rT221count(C))+(1))) {
- C->_capacity=((C)->_capacity)+(16);
- /*IF*/if (((C)->_capacity)==(16)) {
- C->_storage=malloc(16*sizeof(*(C->_storage)));
- }
- else {
- C->_storage=realloc(C->_storage,((C->_capacity)*sizeof(*(C->_storage))));
- }
- /*FI*/}
- /*FI*/C->_upper=((C)->_upper)+(1);
- rT221put(C,a1,(C)->_upper);
- }
- void rT221put(T221 *C,T0 * a1,int a2){
- (C->_storage)[a2-(C->_lower)]=a1;
- }
- void rT221copy(T221 *C,T0* a1){
- int _i=0;
- C->_upper=((C)->_lower)-(1);
- /*IF*/if (((C)->_capacity)==(0)) {
- rT221make(C,((T221*)a1)->_lower,((T221*)a1)->_upper);
- }
- else {
- rT221resize(C,((T221*)a1)->_lower,((T221*)a1)->_upper);
- }
- /*FI*/_i=(C)->_lower;
- while (!((_i)>((C)->_upper))) {
- rT221put(C,rT221item((T221*)a1,_i),_i);
- _i=(_i)+(1);
- }
- }
- void rT221make(T221 *C,int a1,int a2){
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/C->_lower=a1;
- C->_upper=a2;
- C->_capacity=(((C)->_upper)-((C)->_lower))+(1);
- C->_storage=NULL;
- /*IF*/if (((C)->_capacity)>(0)) {
- C->_capacity=((C)->_capacity)+(16);
- C->_storage=malloc((size_t)((C->_capacity)*sizeof(*(C->_storage))));
- rT221clear_all(C);
- }
- /*FI*/}
- void rT215clear_all(T215 *C){
- T0 * _value=NULL;
- rT215set_all_with(C,_value);
- }
- int rT215count(T215 *C){
- int R=0;
- R=(((C)->_upper)-((C)->_lower))+(1);
- return R;
- }
- void rT215set_all_with(T215 *C,T0 * a1){
- int _i=0;
- _i=(C)->_upper;
- while (!((_i)<((C)->_lower))) {
- rT215put(C,a1,_i);
- _i=(_i)-(1);
- }
- }
- void rT215resize(T215 *C,int a1,int a2){
- int _up=0;
- int _i=0;
- T0* _other=NULL;
- {T215 *n=((T215*)new(215));
- rT215make(n,a1,a2);
- _other=(T0 *)n;}
- _i=rT2max((C)->_lower,((T215*)_other)->_lower);
- _up=rT2min((C)->_upper,((T215*)_other)->_upper);
- while (!((_i)>(_up))) {
- rT215put((T215*)_other,rT215item(C,_i),_i);
- _i=(_i)+(1);
- }
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/memcpy(C,_other,sizeof(*C));free(_other);
- }
- T0 * rT215item(T215 *C,int a1){
- T0 * R=NULL;
- R=(C->_storage)[a1-(C->_lower)];
- return R;
- }
- void rT215add_last(T215 *C,T0 * a1){
- /*IF*/if (((C)->_capacity)<((rT215count(C))+(1))) {
- C->_capacity=((C)->_capacity)+(16);
- /*IF*/if (((C)->_capacity)==(16)) {
- C->_storage=malloc(16*sizeof(*(C->_storage)));
- }
- else {
- C->_storage=realloc(C->_storage,((C->_capacity)*sizeof(*(C->_storage))));
- }
- /*FI*/}
- /*FI*/C->_upper=((C)->_upper)+(1);
- rT215put(C,a1,(C)->_upper);
- }
- void rT215put(T215 *C,T0 * a1,int a2){
- (C->_storage)[a2-(C->_lower)]=a1;
- }
- void rT215copy(T215 *C,T0* a1){
- int _i=0;
- C->_upper=((C)->_lower)-(1);
- /*IF*/if (((C)->_capacity)==(0)) {
- rT215make(C,((T215*)a1)->_lower,((T215*)a1)->_upper);
- }
- else {
- rT215resize(C,((T215*)a1)->_lower,((T215*)a1)->_upper);
- }
- /*FI*/_i=(C)->_lower;
- while (!((_i)>((C)->_upper))) {
- rT215put(C,rT215item((T215*)a1,_i),_i);
- _i=(_i)+(1);
- }
- }
- void rT215make(T215 *C,int a1,int a2){
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/C->_lower=a1;
- C->_upper=a2;
- C->_capacity=(((C)->_upper)-((C)->_lower))+(1);
- C->_storage=NULL;
- /*IF*/if (((C)->_capacity)>(0)) {
- C->_capacity=((C)->_capacity)+(16);
- C->_storage=malloc((size_t)((C->_capacity)*sizeof(*(C->_storage))));
- rT215clear_all(C);
- }
- /*FI*/}
- void rT94clear_all(T94 *C){
- T0 * _value=NULL;
- rT94set_all_with(C,_value);
- }
- T0 * rT94first(T94 *C){
- T0 * R=NULL;
- R=rT94item(C,(C)->_lower);
- return R;
- }
- int rT94count(T94 *C){
- int R=0;
- R=(((C)->_upper)-((C)->_lower))+(1);
- return R;
- }
- void rT94set_all_with(T94 *C,T0 * a1){
- int _i=0;
- _i=(C)->_upper;
- while (!((_i)<((C)->_lower))) {
- rT94put(C,a1,_i);
- _i=(_i)-(1);
- }
- }
- void rT94resize(T94 *C,int a1,int a2){
- int _up=0;
- int _i=0;
- T0* _other=NULL;
- {T94 *n=((T94*)new(94));
- rT94make(n,a1,a2);
- _other=(T0 *)n;}
- _i=rT2max((C)->_lower,((T94*)_other)->_lower);
- _up=rT2min((C)->_upper,((T94*)_other)->_upper);
- while (!((_i)>(_up))) {
- rT94put((T94*)_other,rT94item(C,_i),_i);
- _i=(_i)+(1);
- }
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/memcpy(C,_other,sizeof(*C));free(_other);
- }
- T0 * rT94item(T94 *C,int a1){
- T0 * R=NULL;
- R=(C->_storage)[a1-(C->_lower)];
- return R;
- }
- void rT94add_last(T94 *C,T0 * a1){
- /*IF*/if (((C)->_capacity)<((rT94count(C))+(1))) {
- C->_capacity=((C)->_capacity)+(16);
- /*IF*/if (((C)->_capacity)==(16)) {
- C->_storage=malloc(16*sizeof(*(C->_storage)));
- }
- else {
- C->_storage=realloc(C->_storage,((C->_capacity)*sizeof(*(C->_storage))));
- }
- /*FI*/}
- /*FI*/C->_upper=((C)->_upper)+(1);
- rT94put(C,a1,(C)->_upper);
- }
- int rT94equal_like(/*C*/T0 * a1,T0 * a2){
- int R=0;
- /*IF*//*AF*/if (((T0 *)a1)==((T0 *)a2)) {
- R=1;
- }
- else if ((!(a1))||(!(a2))) {
- }
- else {
- R=rT92is_equal((T92*)a1,a2);
- }
- /*FI*/return R;
- }
- int rT94index_of(T94 *C,T0 * a1){
- int R=0;
- R=(C)->_lower;
- while (!(((R)>((C)->_upper))||(rT94equal_like(a1,rT94item(C,R))))) {
- R=(R)+(1);
- }
- return R;
- }
- void rT94put(T94 *C,T0 * a1,int a2){
- (C->_storage)[a2-(C->_lower)]=a1;
- }
- void rT94copy(T94 *C,T0* a1){
- int _i=0;
- C->_upper=((C)->_lower)-(1);
- /*IF*/if (((C)->_capacity)==(0)) {
- rT94make(C,((T94*)a1)->_lower,((T94*)a1)->_upper);
- }
- else {
- rT94resize(C,((T94*)a1)->_lower,((T94*)a1)->_upper);
- }
- /*FI*/_i=(C)->_lower;
- while (!((_i)>((C)->_upper))) {
- rT94put(C,rT94item((T94*)a1,_i),_i);
- _i=(_i)+(1);
- }
- }
- void rT94make(T94 *C,int a1,int a2){
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/C->_lower=a1;
- C->_upper=a2;
- C->_capacity=(((C)->_upper)-((C)->_lower))+(1);
- C->_storage=NULL;
- /*IF*/if (((C)->_capacity)>(0)) {
- C->_capacity=((C)->_capacity)+(16);
- C->_storage=malloc((size_t)((C->_capacity)*sizeof(*(C->_storage))));
- rT94clear_all(C);
- }
- /*FI*/}
- void rT84clear_all(T84 *C){
- T0 * _value=NULL;
- rT84set_all_with(C,_value);
- }
- int rT84count(T84 *C){
- int R=0;
- R=(((C)->_upper)-((C)->_lower))+(1);
- return R;
- }
- void rT84set_all_with(T84 *C,T0 * a1){
- int _i=0;
- _i=(C)->_upper;
- while (!((_i)<((C)->_lower))) {
- rT84put(C,a1,_i);
- _i=(_i)-(1);
- }
- }
- void rT84resize(T84 *C,int a1,int a2){
- int _up=0;
- int _i=0;
- T0* _other=NULL;
- {T84 *n=((T84*)new(84));
- rT84make(n,a1,a2);
- _other=(T0 *)n;}
- _i=rT2max((C)->_lower,((T84*)_other)->_lower);
- _up=rT2min((C)->_upper,((T84*)_other)->_upper);
- while (!((_i)>(_up))) {
- rT84put((T84*)_other,rT84item(C,_i),_i);
- _i=(_i)+(1);
- }
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/memcpy(C,_other,sizeof(*C));free(_other);
- }
- T0 * rT84item(T84 *C,int a1){
- T0 * R=NULL;
- R=(C->_storage)[a1-(C->_lower)];
- return R;
- }
- void rT84add_last(T84 *C,T0 * a1){
- /*IF*/if (((C)->_capacity)<((rT84count(C))+(1))) {
- C->_capacity=((C)->_capacity)+(16);
- /*IF*/if (((C)->_capacity)==(16)) {
- C->_storage=malloc(16*sizeof(*(C->_storage)));
- }
- else {
- C->_storage=realloc(C->_storage,((C->_capacity)*sizeof(*(C->_storage))));
- }
- /*FI*/}
- /*FI*/C->_upper=((C)->_upper)+(1);
- rT84put(C,a1,(C)->_upper);
- }
- void rT84put(T84 *C,T0 * a1,int a2){
- (C->_storage)[a2-(C->_lower)]=a1;
- }
- void rT84copy(T84 *C,T0* a1){
- int _i=0;
- C->_upper=((C)->_lower)-(1);
- /*IF*/if (((C)->_capacity)==(0)) {
- rT84make(C,((T84*)a1)->_lower,((T84*)a1)->_upper);
- }
- else {
- rT84resize(C,((T84*)a1)->_lower,((T84*)a1)->_upper);
- }
- /*FI*/_i=(C)->_lower;
- while (!((_i)>((C)->_upper))) {
- rT84put(C,rT84item((T84*)a1,_i),_i);
- _i=(_i)+(1);
- }
- }
- void rT84make(T84 *C,int a1,int a2){
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/C->_lower=a1;
- C->_upper=a2;
- C->_capacity=(((C)->_upper)-((C)->_lower))+(1);
- C->_storage=NULL;
- /*IF*/if (((C)->_capacity)>(0)) {
- C->_capacity=((C)->_capacity)+(16);
- C->_storage=malloc((size_t)((C->_capacity)*sizeof(*(C->_storage))));
- rT84clear_all(C);
- }
- /*FI*/}
- void rT81clear_all(T81 *C){
- T0 * _value=NULL;
- rT81set_all_with(C,_value);
- }
- int rT81count(T81 *C){
- int R=0;
- R=(((C)->_upper)-((C)->_lower))+(1);
- return R;
- }
- void rT81set_all_with(T81 *C,T0 * a1){
- int _i=0;
- _i=(C)->_upper;
- while (!((_i)<((C)->_lower))) {
- rT81put(C,a1,_i);
- _i=(_i)-(1);
- }
- }
- void rT81resize(T81 *C,int a1,int a2){
- int _up=0;
- int _i=0;
- T0* _other=NULL;
- {T81 *n=((T81*)new(81));
- rT81make(n,a1,a2);
- _other=(T0 *)n;}
- _i=rT2max((C)->_lower,((T81*)_other)->_lower);
- _up=rT2min((C)->_upper,((T81*)_other)->_upper);
- while (!((_i)>(_up))) {
- rT81put((T81*)_other,rT81item(C,_i),_i);
- _i=(_i)+(1);
- }
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/memcpy(C,_other,sizeof(*C));free(_other);
- }
- T0 * rT81item(T81 *C,int a1){
- T0 * R=NULL;
- R=(C->_storage)[a1-(C->_lower)];
- return R;
- }
- void rT81add_last(T81 *C,T0 * a1){
- /*IF*/if (((C)->_capacity)<((rT81count(C))+(1))) {
- C->_capacity=((C)->_capacity)+(16);
- /*IF*/if (((C)->_capacity)==(16)) {
- C->_storage=malloc(16*sizeof(*(C->_storage)));
- }
- else {
- C->_storage=realloc(C->_storage,((C->_capacity)*sizeof(*(C->_storage))));
- }
- /*FI*/}
- /*FI*/C->_upper=((C)->_upper)+(1);
- rT81put(C,a1,(C)->_upper);
- }
- void rT81put(T81 *C,T0 * a1,int a2){
- (C->_storage)[a2-(C->_lower)]=a1;
- }
- void rT81copy(T81 *C,T0* a1){
- int _i=0;
- C->_upper=((C)->_lower)-(1);
- /*IF*/if (((C)->_capacity)==(0)) {
- rT81make(C,((T81*)a1)->_lower,((T81*)a1)->_upper);
- }
- else {
- rT81resize(C,((T81*)a1)->_lower,((T81*)a1)->_upper);
- }
- /*FI*/_i=(C)->_lower;
- while (!((_i)>((C)->_upper))) {
- rT81put(C,rT81item((T81*)a1,_i),_i);
- _i=(_i)+(1);
- }
- }
- void rT81make(T81 *C,int a1,int a2){
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/C->_lower=a1;
- C->_upper=a2;
- C->_capacity=(((C)->_upper)-((C)->_lower))+(1);
- C->_storage=NULL;
- /*IF*/if (((C)->_capacity)>(0)) {
- C->_capacity=((C)->_capacity)+(16);
- C->_storage=malloc((size_t)((C->_capacity)*sizeof(*(C->_storage))));
- rT81clear_all(C);
- }
- /*FI*/}
- void rT79clear_all(T79 *C){
- T0 * _value=NULL;
- rT79set_all_with(C,_value);
- }
- int rT79count(T79 *C){
- int R=0;
- R=(((C)->_upper)-((C)->_lower))+(1);
- return R;
- }
- void rT79set_all_with(T79 *C,T0 * a1){
- int _i=0;
- _i=(C)->_upper;
- while (!((_i)<((C)->_lower))) {
- rT79put(C,a1,_i);
- _i=(_i)-(1);
- }
- }
- void rT79resize(T79 *C,int a1,int a2){
- int _up=0;
- int _i=0;
- T0* _other=NULL;
- {T79 *n=((T79*)new(79));
- rT79make(n,a1,a2);
- _other=(T0 *)n;}
- _i=rT2max((C)->_lower,XrT79lower(_other));
- _up=rT2min((C)->_upper,XrT79upper(_other));
- while (!((_i)>(_up))) {
- XrT79put(_other,rT79item(C,_i),_i);
- _i=(_i)+(1);
- }
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/memcpy(C,_other,sizeof(*C));free(_other);
- }
- T0 * rT79item(T79 *C,int a1){
- T0 * R=NULL;
- R=(C->_storage)[a1-(C->_lower)];
- return R;
- }
- void rT79add_last(T79 *C,T0 * a1){
- /*IF*/if (((C)->_capacity)<((rT79count(C))+(1))) {
- C->_capacity=((C)->_capacity)+(16);
- /*IF*/if (((C)->_capacity)==(16)) {
- C->_storage=malloc(16*sizeof(*(C->_storage)));
- }
- else {
- C->_storage=realloc(C->_storage,((C->_capacity)*sizeof(*(C->_storage))));
- }
- /*FI*/}
- /*FI*/C->_upper=((C)->_upper)+(1);
- rT79put(C,a1,(C)->_upper);
- }
- void rT79put(T79 *C,T0 * a1,int a2){
- (C->_storage)[a2-(C->_lower)]=a1;
- }
- void rT79copy(T79 *C,T0* a1){
- int _i=0;
- C->_upper=((C)->_lower)-(1);
- /*IF*/if (((C)->_capacity)==(0)) {
- rT79make(C,XrT79lower(a1),XrT79upper(a1));
- }
- else {
- rT79resize(C,XrT79lower(a1),XrT79upper(a1));
- }
- /*FI*/_i=(C)->_lower;
- while (!((_i)>((C)->_upper))) {
- rT79put(C,XrT79item(a1,_i),_i);
- _i=(_i)+(1);
- }
- }
- void rT79make(T79 *C,int a1,int a2){
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/C->_lower=a1;
- C->_upper=a2;
- C->_capacity=(((C)->_upper)-((C)->_lower))+(1);
- C->_storage=NULL;
- /*IF*/if (((C)->_capacity)>(0)) {
- C->_capacity=((C)->_capacity)+(16);
- C->_storage=malloc((size_t)((C->_capacity)*sizeof(*(C->_storage))));
- rT79clear_all(C);
- }
- /*FI*/}
- void rT61clear_all(T61 *C){
- T0 * _value=NULL;
- rT61set_all_with(C,_value);
- }
- int rT61count(T61 *C){
- int R=0;
- R=(((C)->_upper)-((C)->_lower))+(1);
- return R;
- }
- void rT61set_all_with(T61 *C,T0 * a1){
- int _i=0;
- _i=(C)->_upper;
- while (!((_i)<((C)->_lower))) {
- rT61put(C,a1,_i);
- _i=(_i)-(1);
- }
- }
- void rT61resize(T61 *C,int a1,int a2){
- int _up=0;
- int _i=0;
- T0* _other=NULL;
- {T61 *n=((T61*)new(61));
- rT61make(n,a1,a2);
- _other=(T0 *)n;}
- _i=rT2max((C)->_lower,((T61*)_other)->_lower);
- _up=rT2min((C)->_upper,((T61*)_other)->_upper);
- while (!((_i)>(_up))) {
- rT61put((T61*)_other,rT61item(C,_i),_i);
- _i=(_i)+(1);
- }
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/memcpy(C,_other,sizeof(*C));free(_other);
- }
- T0 * rT61item(T61 *C,int a1){
- T0 * R=NULL;
- R=(C->_storage)[a1-(C->_lower)];
- return R;
- }
- int rT61empty(T61 *C){
- int R=0;
- R=(rT61count(C))==(0);
- return R;
- }
- void rT61add_last(T61 *C,T0 * a1){
- /*IF*/if (((C)->_capacity)<((rT61count(C))+(1))) {
- C->_capacity=((C)->_capacity)+(16);
- /*IF*/if (((C)->_capacity)==(16)) {
- C->_storage=malloc(16*sizeof(*(C->_storage)));
- }
- else {
- C->_storage=realloc(C->_storage,((C->_capacity)*sizeof(*(C->_storage))));
- }
- /*FI*/}
- /*FI*/C->_upper=((C)->_upper)+(1);
- rT61put(C,a1,(C)->_upper);
- }
- void rT61put(T61 *C,T0 * a1,int a2){
- (C->_storage)[a2-(C->_lower)]=a1;
- }
- void rT61copy(T61 *C,T0* a1){
- int _i=0;
- C->_upper=((C)->_lower)-(1);
- /*IF*/if (((C)->_capacity)==(0)) {
- rT61make(C,((T61*)a1)->_lower,((T61*)a1)->_upper);
- }
- else {
- rT61resize(C,((T61*)a1)->_lower,((T61*)a1)->_upper);
- }
- /*FI*/_i=(C)->_lower;
- while (!((_i)>((C)->_upper))) {
- rT61put(C,rT61item((T61*)a1,_i),_i);
- _i=(_i)+(1);
- }
- }
- void rT61make(T61 *C,int a1,int a2){
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/C->_lower=a1;
- C->_upper=a2;
- C->_capacity=(((C)->_upper)-((C)->_lower))+(1);
- C->_storage=NULL;
- /*IF*/if (((C)->_capacity)>(0)) {
- C->_capacity=((C)->_capacity)+(16);
- C->_storage=malloc((size_t)((C->_capacity)*sizeof(*(C->_storage))));
- rT61clear_all(C);
- }
- /*FI*/}
- void rT54clear_all(T54 *C){
- T0 * _value=NULL;
- rT54set_all_with(C,_value);
- }
- int rT54count(T54 *C){
- int R=0;
- R=(((C)->_upper)-((C)->_lower))+(1);
- return R;
- }
- void rT54set_all_with(T54 *C,T0 * a1){
- int _i=0;
- _i=(C)->_upper;
- while (!((_i)<((C)->_lower))) {
- rT54put(C,a1,_i);
- _i=(_i)-(1);
- }
- }
- void rT54resize(T54 *C,int a1,int a2){
- int _up=0;
- int _i=0;
- T0* _other=NULL;
- {T54 *n=((T54*)new(54));
- rT54make(n,a1,a2);
- _other=(T0 *)n;}
- _i=rT2max((C)->_lower,((T54*)_other)->_lower);
- _up=rT2min((C)->_upper,((T54*)_other)->_upper);
- while (!((_i)>(_up))) {
- rT54put((T54*)_other,rT54item(C,_i),_i);
- _i=(_i)+(1);
- }
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/memcpy(C,_other,sizeof(*C));free(_other);
- }
- T0 * rT54item(T54 *C,int a1){
- T0 * R=NULL;
- R=(C->_storage)[a1-(C->_lower)];
- return R;
- }
- void rT54put(T54 *C,T0 * a1,int a2){
- (C->_storage)[a2-(C->_lower)]=a1;
- }
- void rT54copy(T54 *C,T0* a1){
- int _i=0;
- C->_upper=((C)->_lower)-(1);
- /*IF*/if (((C)->_capacity)==(0)) {
- rT54make(C,((T54*)a1)->_lower,((T54*)a1)->_upper);
- }
- else {
- rT54resize(C,((T54*)a1)->_lower,((T54*)a1)->_upper);
- }
- /*FI*/_i=(C)->_lower;
- while (!((_i)>((C)->_upper))) {
- rT54put(C,rT54item((T54*)a1,_i),_i);
- _i=(_i)+(1);
- }
- }
- void rT54make(T54 *C,int a1,int a2){
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/C->_lower=a1;
- C->_upper=a2;
- C->_capacity=(((C)->_upper)-((C)->_lower))+(1);
- C->_storage=NULL;
- /*IF*/if (((C)->_capacity)>(0)) {
- C->_capacity=((C)->_capacity)+(16);
- C->_storage=malloc((size_t)((C->_capacity)*sizeof(*(C->_storage))));
- rT54clear_all(C);
- }
- /*FI*/}
- void rT53clear_all(T53 *C){
- int _value=0;
- rT53set_all_with(C,_value);
- }
- int rT53count(T53 *C){
- int R=0;
- R=(((C)->_upper)-((C)->_lower))+(1);
- return R;
- }
- void rT53set_all_with(T53 *C,int a1){
- int _i=0;
- _i=(C)->_upper;
- while (!((_i)<((C)->_lower))) {
- rT53put(C,a1,_i);
- _i=(_i)-(1);
- }
- }
- int rT53fast_index_of(T53 *C,int a1){
- int R=0;
- R=(C)->_lower;
- while (!(((R)>((C)->_upper))||((a1)==(rT53item(C,R))))) {
- R=(R)+(1);
- }
- return R;
- }
- int rT53fast_has(T53 *C,int a1){
- int R=0;
- R=(rT53fast_index_of(C,a1))!=(((C)->_upper)+(1));
- return R;
- }
- void rT53resize(T53 *C,int a1,int a2){
- int _up=0;
- int _i=0;
- T0* _other=NULL;
- {T53 *n=((T53*)new(53));
- rT53make(n,a1,a2);
- _other=(T0 *)n;}
- _i=rT2max((C)->_lower,((T53*)_other)->_lower);
- _up=rT2min((C)->_upper,((T53*)_other)->_upper);
- while (!((_i)>(_up))) {
- rT53put((T53*)_other,rT53item(C,_i),_i);
- _i=(_i)+(1);
- }
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/memcpy(C,_other,sizeof(*C));free(_other);
- }
- int rT53item(T53 *C,int a1){
- int R=0;
- R=(C->_storage)[a1-(C->_lower)];
- return R;
- }
- void rT53add_last(T53 *C,int a1){
- /*IF*/if (((C)->_capacity)<((rT53count(C))+(1))) {
- C->_capacity=((C)->_capacity)+(16);
- /*IF*/if (((C)->_capacity)==(16)) {
- C->_storage=malloc(16*sizeof(*(C->_storage)));
- }
- else {
- C->_storage=realloc(C->_storage,((C->_capacity)*sizeof(*(C->_storage))));
- }
- /*FI*/}
- /*FI*/C->_upper=((C)->_upper)+(1);
- rT53put(C,a1,(C)->_upper);
- }
- void rT53put(T53 *C,int a1,int a2){
- (C->_storage)[a2-(C->_lower)]=a1;
- }
- void rT53copy(T53 *C,T0* a1){
- int _i=0;
- C->_upper=((C)->_lower)-(1);
- /*IF*/if (((C)->_capacity)==(0)) {
- rT53make(C,((T53*)a1)->_lower,((T53*)a1)->_upper);
- }
- else {
- rT53resize(C,((T53*)a1)->_lower,((T53*)a1)->_upper);
- }
- /*FI*/_i=(C)->_lower;
- while (!((_i)>((C)->_upper))) {
- rT53put(C,rT53item((T53*)a1,_i),_i);
- _i=(_i)+(1);
- }
- }
- void rT53make(T53 *C,int a1,int a2){
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/C->_lower=a1;
- C->_upper=a2;
- C->_capacity=(((C)->_upper)-((C)->_lower))+(1);
- C->_storage=NULL;
- /*IF*/if (((C)->_capacity)>(0)) {
- C->_capacity=((C)->_capacity)+(16);
- C->_storage=malloc((size_t)((C->_capacity)*sizeof(*(C->_storage))));
- rT53clear_all(C);
- }
- /*FI*/}
- void rT45clear(T45 *C){
- C->_upper=((C)->_lower)-(1);
- }
- void rT45clear_all(T45 *C){
- T0 * _value=NULL;
- rT45set_all_with(C,_value);
- }
- int rT45count(T45 *C){
- int R=0;
- R=(((C)->_upper)-((C)->_lower))+(1);
- return R;
- }
- void rT45set_all_with(T45 *C,T0 * a1){
- int _i=0;
- _i=(C)->_upper;
- while (!((_i)<((C)->_lower))) {
- rT45put(C,a1,_i);
- _i=(_i)-(1);
- }
- }
- void rT45resize(T45 *C,int a1,int a2){
- int _up=0;
- int _i=0;
- T0* _other=NULL;
- {T45 *n=((T45*)new(45));
- rT45make(n,a1,a2);
- _other=(T0 *)n;}
- _i=rT2max((C)->_lower,((T45*)_other)->_lower);
- _up=rT2min((C)->_upper,((T45*)_other)->_upper);
- while (!((_i)>(_up))) {
- rT45put((T45*)_other,rT45item(C,_i),_i);
- _i=(_i)+(1);
- }
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/memcpy(C,_other,sizeof(*C));free(_other);
- }
- T0 * rT45item(T45 *C,int a1){
- T0 * R=NULL;
- R=(C->_storage)[a1-(C->_lower)];
- return R;
- }
- void rT45add_last(T45 *C,T0 * a1){
- /*IF*/if (((C)->_capacity)<((rT45count(C))+(1))) {
- C->_capacity=((C)->_capacity)+(16);
- /*IF*/if (((C)->_capacity)==(16)) {
- C->_storage=malloc(16*sizeof(*(C->_storage)));
- }
- else {
- C->_storage=realloc(C->_storage,((C->_capacity)*sizeof(*(C->_storage))));
- }
- /*FI*/}
- /*FI*/C->_upper=((C)->_upper)+(1);
- rT45put(C,a1,(C)->_upper);
- }
- int rT45equal_like(/*C*/T0 * a1,T0 * a2){
- int R=0;
- /*IF*//*AF*/if (((T0 *)a1)==((T0 *)a2)) {
- R=1;
- }
- else if ((!(a1))||(!(a2))) {
- }
- else {
- R=rT44is_equal((T44*)a1,a2);
- }
- /*FI*/return R;
- }
- int rT45index_of(T45 *C,T0 * a1){
- int R=0;
- R=(C)->_lower;
- while (!(((R)>((C)->_upper))||(rT45equal_like(a1,rT45item(C,R))))) {
- R=(R)+(1);
- }
- return R;
- }
- void rT45put(T45 *C,T0 * a1,int a2){
- (C->_storage)[a2-(C->_lower)]=a1;
- }
- void rT45copy(T45 *C,T0* a1){
- int _i=0;
- C->_upper=((C)->_lower)-(1);
- /*IF*/if (((C)->_capacity)==(0)) {
- rT45make(C,((T45*)a1)->_lower,((T45*)a1)->_upper);
- }
- else {
- rT45resize(C,((T45*)a1)->_lower,((T45*)a1)->_upper);
- }
- /*FI*/_i=(C)->_lower;
- while (!((_i)>((C)->_upper))) {
- rT45put(C,rT45item((T45*)a1,_i),_i);
- _i=(_i)+(1);
- }
- }
- int rT45has(T45 *C,T0 * a1){
- int R=0;
- R=(rT45index_of(C,a1))!=(((C)->_upper)+(1));
- return R;
- }
- void rT45make(T45 *C,int a1,int a2){
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/C->_lower=a1;
- C->_upper=a2;
- C->_capacity=(((C)->_upper)-((C)->_lower))+(1);
- C->_storage=NULL;
- /*IF*/if (((C)->_capacity)>(0)) {
- C->_capacity=((C)->_capacity)+(16);
- C->_storage=malloc((size_t)((C->_capacity)*sizeof(*(C->_storage))));
- rT45clear_all(C);
- }
- /*FI*/}
- void rT42clear(T42 *C){
- C->_upper=((C)->_lower)-(1);
- }
- void rT42clear_all(T42 *C){
- T0* _value=NULL;
- rT42set_all_with(C,_value);
- }
- T0* rT42first(T42 *C){
- T0* R=NULL;
- R=rT42item(C,(C)->_lower);
- return R;
- }
- int rT42count(T42 *C){
- int R=0;
- R=(((C)->_upper)-((C)->_lower))+(1);
- return R;
- }
- void rT42set_all_with(T42 *C,T0* a1){
- int _i=0;
- _i=(C)->_upper;
- while (!((_i)<((C)->_lower))) {
- rT42put(C,a1,_i);
- _i=(_i)-(1);
- }
- }
- int rT42fast_index_of(T42 *C,T0* a1){
- int R=0;
- R=(C)->_lower;
- while (!(((R)>((C)->_upper))||(((T0 *)a1)==((T0 *)rT42item(C,R))))) {
- R=(R)+(1);
- }
- return R;
- }
- int rT42fast_has(T42 *C,T0* a1){
- int R=0;
- R=(rT42fast_index_of(C,a1))!=(((C)->_upper)+(1));
- return R;
- }
- void rT42resize(T42 *C,int a1,int a2){
- int _up=0;
- int _i=0;
- T0* _other=NULL;
- {T42 *n=((T42*)new(42));
- rT42make(n,a1,a2);
- _other=(T0 *)n;}
- _i=rT2max((C)->_lower,((T42*)_other)->_lower);
- _up=rT2min((C)->_upper,((T42*)_other)->_upper);
- while (!((_i)>(_up))) {
- rT42put((T42*)_other,rT42item(C,_i),_i);
- _i=(_i)+(1);
- }
- /*IF*/{/*AT*/free(C->_storage);
- }
- /*FI*/memcpy(C,_other,sizeof(*C));free(_other);
- }
- int rT42empty(T42 *C){
- int R=0;
- R=(rT42count(C))==(0);
- return R;
- }
- T0* rT42item(T42 *C,int a1){
- T0* R=NULL;
- R=(C->_storage)[a1-(C->_lower)];
- return R;
- }
-